Offering a full-scale study of the theory of reality hidden beneath modern logic, The Metaphysical Foundations of Logic, a lecture course given in 1928, illuminates the transitional phase in Heidegger's thought from the existential analysis of Being and Time to the overcoming of metaphysics in his later philosophy. In a searching exposition of the metaphysical problems underpin...(展开全部)

This is a pre-1923 historical reproduction that was curated for quality. Quality assurance was conducted on each of these books in an attempt to remove books with imperfections introduced by the digitization process. Though we have made best efforts - the books may have occasional errors that do not impede the reading experience. We believe this work is culturally important and...(展开全部)

This is a pre-1923 historical reproduction that was curated for quality. Quality assurance was conducted on each of these books in an attempt to remove books with imperfections introduced by the digitization process. Though we have made best efforts - the books may have occasional errors that do not impede the reading experience. We believe this work is culturally important and...(展开全部)

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov's approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 edition. Exercises.

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov's approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 edition. Exercises.

It seems reasonable to believe that there might have existed things other than those that in fact exist, or have existed. But how should we understand such claims? Standard semantic theories exploit the Leibnizian metaphor of a set of all possible worlds: a proposition might or must be true if it is true in some or all possible worlds. The actualist, who believes that nothing e...(展开全部)

It seems reasonable to believe that there might have existed things other than those that in fact exist, or have existed. But how should we understand such claims? Standard semantic theories exploit the Leibnizian metaphor of a set of all possible worlds: a proposition might or must be true if it is true in some or all possible worlds. The actualist, who believes that nothing e...(展开全部)

Kant's Metaphysical Foundations of Natural Science is one of the most difficult but also most important of Kant's works. Published in 1786 between the first (1781) and second (1787) editions of the Critique of Pure Reason, the Metaphysical Foundations occupies a central place in the development of Kant's philosophy, but has so far attracted relatively little attention compared ...(展开全部)

Kant's Metaphysical Foundations of Natural Science is one of the most difficult but also most important of Kant's works. Published in 1786 between the first (1781) and second (1787) editions of the Critique of Pure Reason, the Metaphysical Foundations occupies a central place in the development of Kant's philosophy, but has so far attracted relatively little attention compared ...(展开全部)